1. Foundations of real-time computing : formal specifications and methods
پدیدآورنده : edited by Andre M. van Tilborg, Gary M. Koob
کتابخانه: (طهران)
موضوع : Real-time data processing
رده :
QA
76
.
54
.
F678
1991
2. Foundations of real-time computing : formal specifications and methods
پدیدآورنده : edited by Andre M. van Tilborg, Gary M. Koob
کتابخانه: (طهران)
موضوع : ، Real-time data processing
رده :
QA
76
.
54
.
F678
1991
3. Practical foundations of business system specifications
پدیدآورنده : edited by Haim Kilov, independent consultant, Millington, NJ and Affiliate Professor, Stevens Institute of Technology, Hoboken, NJ, U.S.A., and Kenneth Baclawski, Associate Professor, College of Computer Science, Northeastern University, Boston, MA, U.S.A.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business -- Data processing.,Computer software -- Development.,Software engineering.
4. The logical approach to syntax : foundations, specifications, and implementations of theories of government and binding
پدیدآورنده : Stabler, Edward P.
کتابخانه: (طهران)
موضوع : ، Grammar, Comparative and general -- Syntax,، Language and logic,، Government-binding theory )Linguistics(,، Generative grammar,، Computational linguistics
رده :
P
295
.
S82
